A pointfree approach to constructive analysis in type theory
- Författare
- Institutionen för datavetenskap (Göteborg) Jan Cederquist
- (Jan Cederquist., Härtill 5 uppsatser, Diss. (sammanfattning) Göteborg : Univ.)
- Genre
- theses, Avhandlingar
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Dept. of Computing Science | 1997 | Sverige, Göteborg | 13 sidor. |